Distributive postulates for systems like Boolean algebras
نویسندگان
چکیده
منابع مشابه
Boolean Algebras and Distributive Lattices Treated Constructively
Some aspects of the theory of Boolean algebras and distributive lattices -in particular, the Stone Representation Theorems and the properties of filters and ideals -are analyzed in a constructive setting.
متن کاملFiniteness conditions and distributive laws for Boolean algebras
Klaus Ambos-Spies, Heidelberg Klaus Meer, Cottbus Marat M. Arslanov, Kazan Wolfram Pohlers, Münster Günter Asser, Greifswald Pavel Pudlak, Prague John T. Baldwin, Chicago Andrzej Rosłanowski, Omaha Douglas S. Bridges, Canterbury Jörg Rothe, Düsseldorf Ramon Jansana, Barcelona Wilfried Sieg, Pittsburgh Carl G. Jockusch, Urbana Stephen G. Simpson, State College, PA Alexander Kechris, Pasadena Mar...
متن کاملBoolean like algebras
Boolean algebras have an exceptionally rich and smooth structure theory, of which Stone’s representation theorem is a prominent example. What is so special about Boolean algebras that is responsible for this nice behaviour? Given a similarity type ν, can we always find a class of algebras of type ν that displays Boolean-like features? And what does it mean, for an algebra of a given type ν that...
متن کاملOn the Relationship between Projective Distributive Lattices and Boolean Algebras
The main result of this paper is the following theorem: If a projective Boolean algebra B is generated by its sublattice L, then there is a projective distributive lattice D which is a sublattice of L and generates B.
متن کاملGames and General Distributive Laws in Boolean Algebras
The games G 1 (κ) and G η <λ(κ) are played by two players in η +complete and max(η+ , λ)-complete Boolean algebras, respectively. For cardinals η, κ such that κ<η = η or κ<η = κ, the (η, κ)-distributive law holds in a Boolean algebra B iff Player 1 does not have a winning strategy in G 1 (κ). Furthermore, for all cardinals κ, the (η,∞)-distributive law holds in B iff Player 1 does not have a wi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1946
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1946-0017735-7